[next] [prev] [prev-tail] [tail] [up]

2.2.25 Integrals 2401 to 2500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 38 24 23 47 20 23 46

N.S.

1 1.16 1.52 0.96 0.92 1.88 0.80 0.92 1.84

time (sec)

N/A 0.166 0.092 0.272 0.278 0.368 0.433 0.261 10.150

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 25 35 20 19 31 20 31 27

N.S.

1 1.09 1.52 0.87 0.83 1.35 0.87 1.35 1.17

time (sec)

N/A 0.160 0.075 0.203 0.303 0.352 0.367 0.263 10.087

Problem 2403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 26 29 29 31 30 25

N.S.

1 1.00 1.00 0.76 0.85 0.85 0.91 0.88 0.74

time (sec)

N/A 0.169 0.079 0.254 0.190 0.338 0.398 0.264 10.300

Problem 2404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 20 23 27 18 0 18 0

N.S.

1 1.00 1.05 1.21 1.42 0.95 0.00 0.95 0.00

time (sec)

N/A 0.166 0.075 0.279 0.288 0.367 0.000 0.261 0.000

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 21 12 9 18 0 18 0

N.S.

1 1.00 1.62 0.92 0.69 1.38 0.00 1.38 0.00

time (sec)

N/A 0.150 0.077 0.272 0.287 0.374 0.000 0.271 0.000

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 19 16 26 20 0 19 17

N.S.

1 1.00 1.12 0.94 1.53 1.18 0.00 1.12 1.00

time (sec)

N/A 0.148 0.079 0.224 0.207 0.426 0.000 0.271 0.086

Problem 2407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 69 51 58 0 294 0 91 0

N.S.

1 0.72 0.53 0.60 0.00 3.06 0.00 0.95 0.00

time (sec)

N/A 0.205 0.462 0.308 0.000 0.317 0.000 0.273 0.000

Problem 2408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 77 53 0 175 0 66 0

N.S.

1 1.00 1.38 0.95 0.00 3.12 0.00 1.18 0.00

time (sec)

N/A 0.200 0.301 0.356 0.000 0.327 0.000 0.292 0.000

Problem 2409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 45 55 0 62 0 0 47

N.S.

1 1.00 0.94 1.15 0.00 1.29 0.00 0.00 0.98

time (sec)

N/A 0.179 0.054 0.527 0.000 0.342 0.000 0.000 10.086

Problem 2410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 21 20 33 49 56 29 25

N.S.

1 1.00 0.78 0.74 1.22 1.81 2.07 1.07 0.93

time (sec)

N/A 0.166 0.009 0.300 0.198 0.300 1.456 0.269 10.130

Problem 2411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 43 48 30 31 52 37 48 44

N.S.

1 1.08 1.20 0.75 0.78 1.30 0.92 1.20 1.10

time (sec)

N/A 0.173 0.085 0.451 0.300 0.279 0.291 0.271 0.109

Problem 2412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 43 60 30 31 55 37 31 46

N.S.

1 1.08 1.50 0.75 0.78 1.38 0.92 0.78 1.15

time (sec)

N/A 0.184 0.100 0.273 0.291 0.309 0.290 0.276 10.095

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 51 45 43 53 49 49 44

N.S.

1 1.00 0.89 0.79 0.75 0.93 0.86 0.86 0.77

time (sec)

N/A 0.182 0.104 0.250 0.274 0.313 0.295 0.271 10.132

Problem 2414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 51 27 26 55 32 26 46

N.S.

1 1.00 1.34 0.71 0.68 1.45 0.84 0.68 1.21

time (sec)

N/A 0.178 0.079 0.201 0.272 0.300 0.312 0.277 0.145

Problem 2415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 45 43 53 49 49 44

N.S.

1 1.00 0.89 0.83 0.80 0.98 0.91 0.91 0.81

time (sec)

N/A 0.186 0.070 0.284 0.275 0.291 0.288 0.278 10.086

Problem 2416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 106 41 31 81 54 0 46

N.S.

1 1.00 1.96 0.76 0.57 1.50 1.00 0.00 0.85

time (sec)

N/A 0.181 0.616 0.292 0.274 0.303 0.312 0.000 10.085

Problem 2417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 51 45 43 53 49 49 44

N.S.

1 1.00 0.89 0.79 0.75 0.93 0.86 0.86 0.77

time (sec)

N/A 0.179 0.100 0.264 0.278 0.423 0.300 0.272 0.105

Problem 2418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 51 27 26 55 29 26 46

N.S.

1 1.00 1.50 0.79 0.76 1.62 0.85 0.76 1.35

time (sec)

N/A 0.173 0.076 0.231 0.273 0.386 0.315 0.277 10.114

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 37 31 28 24 13 0 21 23

N.S.

1 1.37 1.15 1.04 0.89 0.48 0.00 0.78 0.85

time (sec)

N/A 0.164 0.068 0.352 0.266 0.314 0.000 0.268 10.242

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 37 31 28 24 13 0 21 23

N.S.

1 1.37 1.15 1.04 0.89 0.48 0.00 0.78 0.85

time (sec)

N/A 0.163 0.068 0.283 0.277 0.338 0.000 0.256 10.092

Problem 2421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C C F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 37 33 25 24 11 0 31 27

N.S.

1 1.37 1.22 0.93 0.89 0.41 0.00 1.15 1.00

time (sec)

N/A 0.162 1.009 0.359 0.279 0.419 0.000 0.265 10.155

Problem 2422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C C F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 37 33 21 24 11 0 31 27

N.S.

1 1.37 1.22 0.78 0.89 0.41 0.00 1.15 1.00

time (sec)

N/A 0.159 1.008 0.326 0.271 0.298 0.000 0.275 10.107

Problem 2423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 44 120 31 38 16 0 28 46

N.S.

1 0.65 1.76 0.46 0.56 0.24 0.00 0.41 0.68

time (sec)

N/A 0.171 0.047 0.253 0.192 0.281 0.000 0.275 10.045

Problem 2424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 46 103 33 38 17 0 31 47

N.S.

1 0.65 1.45 0.46 0.54 0.24 0.00 0.44 0.66

time (sec)

N/A 0.175 0.232 0.261 0.191 0.275 0.000 0.263 10.047

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 49 49 35 38 70 0 41 54

N.S.

1 0.64 0.64 0.45 0.49 0.91 0.00 0.53 0.70

time (sec)

N/A 0.180 0.080 0.306 0.212 0.297 0.000 0.275 10.052

Problem 2426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 47 49 33 38 66 0 43 55

N.S.

1 0.64 0.66 0.45 0.51 0.89 0.00 0.58 0.74

time (sec)

N/A 0.174 0.078 0.283 0.205 0.267 0.000 0.282 10.030

Problem 2427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 50 40 52 52 32 32 47

N.S.

1 1.00 0.96 0.77 1.00 1.00 0.62 0.62 0.90

time (sec)

N/A 0.179 0.071 0.226 0.284 0.272 0.294 0.275 0.074

Problem 2428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 52 42 52 54 34 32 47

N.S.

1 1.00 0.93 0.75 0.93 0.96 0.61 0.57 0.84

time (sec)

N/A 0.186 0.064 0.278 0.294 0.279 0.291 0.272 0.074

Problem 2429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 55 47 33 49 39 37 40 39

N.S.

1 1.10 0.94 0.66 0.98 0.78 0.74 0.80 0.78

time (sec)

N/A 0.186 0.009 0.379 0.286 0.298 0.267 0.281 0.079

Problem 2430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 38 29 24 40 0 60 27

N.S.

1 1.00 1.23 0.94 0.77 1.29 0.00 1.94 0.87

time (sec)

N/A 0.162 0.070 0.240 0.292 0.295 0.000 0.286 10.083

Problem 2431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 29 35 39 0 98 27

N.S.

1 1.00 1.00 0.94 1.13 1.26 0.00 3.16 0.87

time (sec)

N/A 0.157 0.067 0.270 0.279 0.285 0.000 0.330 10.125

Problem 2432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 29 35 43 0 61 29

N.S.

1 1.00 0.92 0.81 0.97 1.19 0.00 1.69 0.81

time (sec)

N/A 0.156 0.066 0.203 0.295 0.269 0.000 0.294 10.268

Problem 2433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 27 29 35 43 0 84 29

N.S.

1 1.00 0.75 0.81 0.97 1.19 0.00 2.33 0.81

time (sec)

N/A 0.159 0.070 0.253 0.277 0.409 0.000 0.300 0.292

Problem 2434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 39 29 26 25 0 30 34

N.S.

1 1.00 1.18 0.88 0.79 0.76 0.00 0.91 1.03

time (sec)

N/A 0.159 0.053 0.269 0.288 0.412 0.000 0.271 0.354

Problem 2435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 27 29 25 64 0 0 34

N.S.

1 1.00 0.82 0.88 0.76 1.94 0.00 0.00 1.03

time (sec)

N/A 0.160 0.072 0.240 0.275 0.363 0.000 0.000 10.145

Problem 2436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 35 29 20 28 0 30 34

N.S.

1 1.00 0.97 0.81 0.56 0.78 0.00 0.83 0.94

time (sec)

N/A 0.157 0.056 0.253 0.293 0.355 0.000 0.272 0.345

Problem 2437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 30 29 20 40 0 44 34

N.S.

1 1.00 0.83 0.81 0.56 1.11 0.00 1.22 0.94

time (sec)

N/A 0.157 0.053 0.267 0.281 0.561 0.000 0.274 10.226

Problem 2438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 60 42 42 50 63 0 84 0

N.S.

1 1.05 0.74 0.74 0.88 1.11 0.00 1.47 0.00

time (sec)

N/A 0.202 0.011 0.285 0.281 0.276 0.000 0.277 0.000

Problem 2439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 27 30 24 0 30 0 50 27

N.S.

1 1.17 1.30 1.04 0.00 1.30 0.00 2.17 1.17

time (sec)

N/A 0.172 0.089 0.339 0.000 0.264 0.000 0.288 9.989

Problem 2440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

504 485 597 990 0 267 0 0 0

N.S.

1 0.96 1.18 1.96 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.763 24.581 0.748 0.000 0.113 0.000 0.000 0.000

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

581 596 1289 1212 0 590 0 0 0

N.S.

1 1.03 2.22 2.09 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 1.016 34.072 1.256 0.000 0.114 0.000 0.000 0.000

Problem 2442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

513 522 1052 892 0 481 0 0 0

N.S.

1 1.02 2.05 1.74 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.742 31.913 1.265 0.000 0.097 0.000 0.000 0.000

Problem 2443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

444 447 936 811 0 417 0 0 0

N.S.

1 1.01 2.11 1.83 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.543 27.007 0.588 0.000 0.098 0.000 0.000 0.000

Problem 2444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

419 424 865 795 0 418 0 0 0

N.S.

1 1.01 2.06 1.90 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.513 24.864 0.441 0.000 0.145 0.000 0.000 0.000

Problem 2445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

497 521 962 967 0 662 0 0 0

N.S.

1 1.05 1.94 1.95 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.642 28.450 0.552 0.000 0.166 0.000 0.000 0.000

Problem 2446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

617 644 1252 1149 0 1188 0 0 0

N.S.

1 1.04 2.03 1.86 0.00 1.93 0.00 0.00 0.00

time (sec)

N/A 0.878 32.544 0.898 0.000 0.149 0.000 0.000 0.000

Problem 2447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

816 855 10848 2888 0 906 0 0 0

N.S.

1 1.05 13.29 3.54 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 1.497 34.953 1.553 0.000 0.106 0.000 0.000 0.000

Problem 2448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

712 734 1099 1665 0 727 0 0 0

N.S.

1 1.03 1.54 2.34 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 1.117 35.106 1.855 0.000 0.115 0.000 0.000 0.000

Problem 2449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

579 594 1296 1182 0 585 0 0 0

N.S.

1 1.03 2.24 2.04 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.845 33.778 0.999 0.000 0.105 0.000 0.000 0.000

Problem 2450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

515 525 1088 1177 0 630 0 0 0

N.S.

1 1.02 2.11 2.29 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.715 32.000 2.290 0.000 0.158 0.000 0.000 0.000

Problem 2451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

499 508 978 1043 0 614 0 0 0

N.S.

1 1.02 1.96 2.09 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.679 27.532 3.360 0.000 0.249 0.000 0.000 0.000

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

578 613 1269 1153 0 1032 0 0 0

N.S.

1 1.06 2.20 1.99 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.816 32.340 1.082 0.000 0.133 0.000 0.000 0.000

Problem 2453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

721 753 1427 1372 0 1838 0 0 0

N.S.

1 1.04 1.98 1.90 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 1.186 34.012 2.307 0.000 0.180 0.000 0.000 0.000

Problem 2454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

616 600 708 1416 0 331 0 0 0

N.S.

1 0.97 1.15 2.30 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.946 24.864 0.870 0.000 0.112 0.000 0.000 0.000

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

847 884 10879 2544 0 914 0 0 0

N.S.

1 1.04 12.84 3.00 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 1.367 35.011 1.724 0.000 0.164 0.000 0.000 0.000

Problem 2456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

716 737 1140 2072 0 1057 0 0 0

N.S.

1 1.03 1.59 2.89 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 1.111 34.215 3.332 0.000 0.287 0.000 0.000 0.000

Problem 2457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

622 641 1375 1870 0 1091 0 0 0

N.S.

1 1.03 2.21 3.01 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 1.020 34.037 3.228 0.000 0.142 0.000 0.000 0.000

Problem 2458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

603 620 1283 1497 0 1018 0 0 0

N.S.

1 1.03 2.13 2.48 0.00 1.69 0.00 0.00 0.00

time (sec)

N/A 0.929 32.661 3.632 0.000 0.139 0.000 0.000 0.000

Problem 2459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

731 754 1446 1524 0 1719 0 0 0

N.S.

1 1.03 1.98 2.08 0.00 2.35 0.00 0.00 0.00

time (sec)

N/A 1.158 22.976 4.653 0.000 0.183 0.000 0.000 0.000

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

923 966 8108 1744 0 2808 0 0 0

N.S.

1 1.05 8.78 1.89 0.00 3.04 0.00 0.00 0.00

time (sec)

N/A 1.441 36.145 2.614 0.000 0.361 0.000 0.000 0.000

Problem 2461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

600 620 1318 1221 0 589 0 0 0

N.S.

1 1.03 2.20 2.04 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 1.047 34.178 1.841 0.000 0.113 0.000 0.000 0.000

Problem 2462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

509 520 734 967 0 487 0 0 0

N.S.

1 1.02 1.44 1.90 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.763 28.472 2.281 0.000 0.109 0.000 0.000 0.000

Problem 2463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

439 443 609 819 0 418 0 0 0

N.S.

1 1.01 1.39 1.87 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.583 25.424 0.754 0.000 0.103 0.000 0.000 0.000

Problem 2464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 365 746 0 359 0 0 0

N.S.

1 1.00 1.94 3.97 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.255 21.541 0.438 0.000 0.096 0.000 0.000 0.000

Problem 2465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 308 287 0 128 0 0 0

N.S.

1 1.00 1.63 1.52 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.293 22.489 1.027 0.000 0.115 0.000 0.000 0.000

Problem 2466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 408 872 0 459 0 0 0

N.S.

1 1.00 1.65 3.52 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.334 11.522 1.944 0.000 0.128 0.000 0.000 0.000

Problem 2467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

523 547 643 990 0 774 0 0 0

N.S.

1 1.05 1.23 1.89 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 0.729 15.210 1.770 0.000 0.195 0.000 0.000 0.000

Problem 2468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

629 675 983 1158 0 1403 0 0 0

N.S.

1 1.07 1.56 1.84 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 1.000 30.089 2.059 0.000 0.172 0.000 0.000 0.000

Problem 2469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

641 653 1394 1364 0 1060 0 0 0

N.S.

1 1.02 2.17 2.13 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 1.073 23.077 6.816 0.000 0.132 0.000 0.000 0.000

Problem 2470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

533 552 1207 1092 0 793 0 0 0

N.S.

1 1.04 2.26 2.05 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.769 21.298 2.611 0.000 0.120 0.000 0.000 0.000

Problem 2471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

457 476 964 953 0 621 0 0 0

N.S.

1 1.04 2.11 2.09 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.606 15.796 0.835 0.000 0.145 0.000 0.000 0.000

Problem 2472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

426 445 879 842 0 488 0 0 0

N.S.

1 1.04 2.06 1.98 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 0.552 27.625 0.882 0.000 0.252 0.000 0.000 0.000

Problem 2473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

480 522 976 1197 0 768 0 0 0

N.S.

1 1.09 2.03 2.49 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.645 16.460 2.736 0.000 0.104 0.000 0.000 0.000

Problem 2474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

607 642 1172 1849 0 1614 0 0 0

N.S.

1 1.06 1.93 3.05 0.00 2.66 0.00 0.00 0.00

time (sec)

N/A 0.866 17.583 4.162 0.000 0.150 0.000 0.000 0.000

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

744 785 1525 1964 0 3059 0 0 0

N.S.

1 1.06 2.05 2.64 0.00 4.11 0.00 0.00 0.00

time (sec)

N/A 1.208 23.232 3.219 0.000 0.253 0.000 0.000 0.000

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

659 690 1556 1502 0 1802 0 0 0

N.S.

1 1.05 2.36 2.28 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 0.992 23.741 3.428 0.000 0.356 0.000 0.000 0.000

Problem 2477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

590 619 1343 1229 0 1364 0 0 0

N.S.

1 1.05 2.28 2.08 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.838 32.417 3.700 0.000 0.155 0.000 0.000 0.000

Problem 2478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

542 570 1141 1064 0 1005 0 0 0

N.S.

1 1.05 2.11 1.96 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.799 19.516 1.280 0.000 0.135 0.000 0.000 0.000

Problem 2479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

605 657 1323 1486 0 1722 0 0 0

N.S.

1 1.09 2.19 2.46 0.00 2.85 0.00 0.00 0.00

time (sec)

N/A 0.829 20.988 1.275 0.000 0.160 0.000 0.000 0.000

Problem 2480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

725 776 1524 1789 0 2574 0 0 0

N.S.

1 1.07 2.10 2.47 0.00 3.55 0.00 0.00 0.00

time (sec)

N/A 1.080 22.613 3.699 0.000 0.253 0.000 0.000 0.000

Problem 2481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

918 979 7870 2305 0 5060 0 0 0

N.S.

1 1.07 8.57 2.51 0.00 5.51 0.00 0.00 0.00

time (sec)

N/A 1.595 34.973 5.632 0.000 0.483 0.000 0.000 0.000

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 86 77 0 26 0 0 0

N.S.

1 1.00 2.87 2.57 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.161 30.099 0.256 0.000 0.084 0.000 0.000 0.000

Problem 2483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

638 634 164 0 0 0 0 0 0

N.S.

1 0.99 0.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 10.278 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

539 572 113 0 0 0 0 0 0

N.S.

1 1.06 0.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 10.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

490 533 95 0 0 0 0 0 0

N.S.

1 1.09 0.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.425 10.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

180 180 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

189 189 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

187 187 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.301 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

1224 1265 403 0 0 0 0 0 0

N.S.

1 1.03 0.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.097 11.003 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

1153 1211 299 0 0 0 0 0 0

N.S.

1 1.05 0.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.948 10.618 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

1043 1133 200 0 0 0 0 0 0

N.S.

1 1.09 0.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.793 11.373 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

993 1112 138 0 0 0 0 0 0

N.S.

1 1.12 0.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.769 10.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 182 180 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.347 11.445 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

189 189 190 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 11.688 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

189 189 190 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.296 12.193 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 242 457 0 0 0 0 0 0

N.S.

1 1.00 1.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 1.318 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

635 400 59 0 0 0 0 0 0

N.S.

1 0.63 0.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.451 10.029 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

628 395 54 0 0 0 0 0 0

N.S.

1 0.63 0.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.465 10.020 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

603 367 47 0 0 0 0 0 0

N.S.

1 0.61 0.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.448 10.010 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 108 176 2182 0 214 0 0 0

N.S.

1 1.00 1.63 20.20 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.204 0.292 3.760 0.000 2.408 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]